[release] 0.45.7 #3000

coffeeinprogress · 2024-09-24T09:08:25Z

Reviewer instructions

Check the changelog to ensure the version increment is consistent with https://semver.org/.
- If a different version should be released, follow the instructions.
Review the changeset as a sanity check.
Approve the PR, if it pases muster.
Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
After the release has been published to github, delete this branch.

Periodically print Z3 statistics when --debug is on (Periodically print Z3 statistics #2992)
Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (Propagate z3 parameters in the tuning options #2990)

konnov · 2024-09-24T09:17:37Z

Perhaps, we should bump the minor version, since the configuration options may break something

konnov added 2 commits September 24, 2024 09:08

[release] 0.45.7

5cc8559

Bump version to 0.45.8-SNAPSHOT

d96e84d

konnov closed this Sep 24, 2024

konnov deleted the release/0.45.7 branch September 24, 2024 09:41